vector identities divergence